\begin{tabbing} (\=(((D 3) \+ \\[0ex]CollapseTHEN (D 6))$\cdot$) \\[0ex]CollapseTHEN (D 0))$\cdot$ \- \end{tabbing}